A Spatial Mobile Calculus for 3D Shapes

نویسندگان

  • Ezio BARTOCCI
  • Flavio CORRADINI
  • Maria Rita DI BERARDINI
  • Emanuela MERELLI
  • Luca TESEI
چکیده

We present a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are speci ed with a timed CCS-like process algebra using a notion of channel to naturally model binding sites on the surface of shapes. The calculus embeds collision detection and response, binding of compatible 3D processes and split of composed 3D

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Shape Calculus A spatial calculus for 3D colliding shapes

We present a bio-inspired calculus for describing 3D shapes moving in a space. A shapeforms a 3D process when combined with a behaviour. Behaviours are specified with a timedCCS-like process algebra using a notion of channel that models naturally binding sites on thesurface of shapes. Processes can represent molecules or other mobile objects. The calculusembeds collision det...

متن کامل

A Calculus for Shapes in Time and Space

We present a spatial and temporal logic based on Duration Calculus for the specification and verification of mobile real-time systems. We demonstrate the use of the formalism and apply it to a case study. We extend a pure Duration Calculus specification for the controller by spatial assumptions to reason about spatial system properties. We prove that the formalism is undecidable in general for ...

متن کامل

Towards Abstraction-Based Verification of Shape Calculus

The Shape Calculus is a bio-inspired timed and spatial calculus for describing 3D geometrical shapes moving in a space. Shapes, combined with a behaviour, form 3D processes, i.e., individual entities able to bind with other processes on compatible spatial channels and to split over previously established bonds. Due to geometrical space, timed behaviours, a wide degree of freedom in defining mot...

متن کامل

Shape Calculus: Timed Operational Semantics and Well-formedness

The Shape Calculus is a bio-inspired calculus for describing 3Dshapes moving in a space. A shape forms a 3D process when combinedwith a behaviour. Behaviours are specified with a timed CCS-like pro-cess algebra using a notion of channel that models naturally bindingsites on the surface of shapes. Processes can represent molecules orother mobile objects and can be part of net...

متن کامل

3D Path Planning Algorithm for Mobile Anchor-Assisted Positioning in Wireless Sensor Networks

Positioning service is one of Wireless Sensor Networks’ (WSNs) fundamental services. The accurate position of the sensor nodes plays a vital role in many applications of WSNs. In this paper, a 3D positioning algorithm is being proposed, using mobile anchor node to assist sensor nodes in order to estimate their positions in a 3D geospatial environment. However, mobile anchor node’s 3D path optim...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010